VDict - Definition of Maximal free expression

Computing (FOLDOC) dictionary

maximal free expression

Jump to user comments

(MFE) A free expression is sub-expression of a lambdaabstraction not containing the bound variable. A maximal

free expression is a free expression not contained within any

other free expression. See full laziness.

Related search result for "maximal free expression"

Words contain "maximal free expression" in its definition in Computing (FOLDOC) dictionary:
maximal free expression fully lazy lambda lifting MFE name capture lambda lifting free software type inference lambda abstraction Church-Rosser Theorem black hole more...

Comments and discussion on the word "maximal free expression"